Name Venue Year citations
Exception Handling and Subsorts. ADT 1986 1
A Final Algebra Semantics for Errors and Exceptions. ADT 1984 7
Algebraic Specification of Subsorts. ADT 1983 1
Error Handling in Algebraic Specifications. ADT 1982 4
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ